Timestamp Soundness